11 April 2018, Algebra|Coalgebra Seminar, Esther Boerboom and Noor Heerkens

The objective of our study was to find suitable classical equivalents of intuitionistic implication. Since the formula “p implies q” has infinitely many classical equivalents in the full fragment of intuitionistic propositional logic, we restricted ourselves first of all to finite fragments. In order to find the most suitable candidates we examined important features of the candidates in these fragments, such as reflexivity and transitivity. Additionally we examined if the formulas are weaker or stronger than intuitionistic implication and whether they are exact.